Developing mathematical fluency: comparing exercises and rich tasks

Achieving fluency in important mathematical procedures is fundamental to students’ mathematical development. The usual way to develop procedural fluency is to practise repetitive exercises, but is this the only effective way?This paper reports three quasi experimental studies carried out in a total of 11 secondary schools involving altogether 528 students aged 12–15. In each study, parallel classes were taught the same mathematical procedure before one class undertook traditional exercises while the other worked on a "mathematical etude" (Foster International Journal of Mathematical Education in Science and Technology, 44(5), 765–774, 2013b), designed to be a richer task involving extensive opportunities for practice of the relevant procedure. Bayesian t tests on the gain scores between pre- and post-tests in each study provided evidence of no difference between the two conditions. A Bayesian meta-analysis of the three studies gave a combined Bayes factor of 5.83, constituting Bsubstantial^ evidence (Jeffreys, 1961) in favour of the null hypothesis that etudes and exercises were equally effective, relative to the alternative hypothesis that they were not. These data support the conclusion that the mathematical etudes trialled are comparable to traditional exercises in their effects on procedural fluency. This could make etudes a viable alternative to exercises, since they offer the possibility of richer, more creative problem-solving activity, with comparable effectiveness in developing procedural fluency

Identification of a small molecule inhibitor of Ebolavirus genome replication and transcription using in silico screening.

Ebola virus (EBOV) causes a severe haemorrhagic fever in humans and has a mortality rate over 50%. With no licensed drug treatments available, EBOV poses a significant threat. Investigations into possible therapeutics have been severely hampered by the classification of EBOV as a BSL4 pathogen. Here, we describe a drug discovery pathway combining in silico screening of compounds predicted to bind to a hydrophobic pocket on the nucleoprotein (NP); with a robust and rapid EBOV minigenome assay for inhibitor validation at BSL2. One compound (MCCB4) was efficacious (EC50 4.8 μM), exhibited low cytotoxicity (CC50 > 100 μM) and was specific, with no effect on either a T7 RNA polymerase driven firefly luciferase or a Bunyamwera virus minigenome. Further investigations revealed that this small molecule inhibitor was able to outcompete established replication complexes, an essential aspect for a potential EBOV treatment

Least - change bidirectional model transformation With QVT- R and ATL

QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions in the original semantics, acceptance and development of effective tool support has been slow. Recently, the checking semantics of QVTR has been clarified and formalized. In this article we propose a QVT-R tool that complies to such semantics. Unlike any other existing tool, it also supports metamodels enriched with OCL constraints (thus avoiding returning ill-formed models), and proposes an alternative enforcement semantics that works according to the simple and predictable “principle of least change”. The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model finding via SAT solving. We also show how this technique can be applied to bidirectionalize ATL, a popular (but unidirectional) model transformation language.This work is funded by ERDF-European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by national funds through the FCT-Fundacao para a Ciencia e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-020532. The first author is also sponsored by FCT grant SFRH/BD/69585/2010. The authors would also like to thank all anonymous reviewers for the valuable comments and suggestions

Reflections on monadic lenses

Bidirectional transformations (bx) have primarily been modeled as pure functions, and do not account for the possibility of the side-effects that are available in most programming languages. Recently several formulations of bx that use monads to account for effects have been proposed, both among practitioners and in academic research. The combination of bx with effects turns out to be surprisingly subtle, leading to problems with some of these proposals and increasing the complexity of others. This paper reviews the proposals for monadic lenses to date, and offers some improved definitions, paying particular attention to the obstacles to naively adding monadic effects to existing definitions of pure bx such as lenses and symmetric lenses, and the subtleties of equivalence of symmetric bidirectional transformations in the presence of effects

Chromatic Illumination Discrimination Ability Reveals that Human Colour Constancy Is Optimised for Blue Daylight Illuminations

The phenomenon of colour constancy in human visual perception keeps surface colours constant, despite changes in their reflected light due to changing illumination. Although colour constancy has evolved under a constrained subset of illuminations, it is unknown whether its underlying mechanisms, thought to involve multiple components from retina to cortex, are optimised for particular environmental variations. Here we demonstrate a new method for investigating colour constancy using illumination matching in real scenes which, unlike previous methods using surface matching and simulated scenes, allows testing of multiple, real illuminations. We use real scenes consisting of solid familiar or unfamiliar objects against uniform or variegated backgrounds and compare discrimination performance for typical illuminations from the daylight chromaticity locus (approximately blue-yellow) and atypical spectra from an orthogonal locus (approximately red-green, at correlated colour temperature 6700 K), all produced in real time by a 10-channel LED illuminator. We find that discrimination of illumination changes is poorer along the daylight locus than the atypical locus, and is poorest particularly for bluer illumination changes, demonstrating conversely that surface colour constancy is best for blue daylight illuminations. Illumination discrimination is also enhanced, and therefore colour constancy diminished, for uniform backgrounds, irrespective of the object type. These results are not explained by statistical properties of the scene signal changes at the retinal level. We conclude that high-level mechanisms of colour constancy are biased for the blue daylight illuminations and variegated backgrounds to which the human visual system has typically been exposed

Systematic review and meta-analysis of reduction in all-cause mortality from walking and cycling and shape of dose response relationship

BACKGROUND AND OBJECTIVE: Walking and cycling have shown beneficial effects on population risk of all-cause mortality (ACM). This paper aims to review the evidence and quantify these effects, adjusted for other physical activity (PA). DATA SOURCES: We conducted a systematic review to identify relevant studies. Searches were conducted in November 2013 using the following health databases of publications: Embase (OvidSP); Medline (OvidSP); Web of Knowledge; CINAHL; SCOPUS; SPORTDiscus. We also searched reference lists of relevant texts and reviews. STUDY ELIGIBILITY CRITERIA AND PARTICIPANTS: Eligible studies were prospective cohort design and reporting walking or cycling exposure and mortality as an outcome. Only cohorts of individuals healthy at baseline were considered eligible. STUDY APPRAISAL AND SYNTHESIS METHODS: Extracted data included study population and location, sample size, population characteristics (age and sex), follow-up in years, walking or cycling exposure, mortality outcome, and adjustment for other co-variables. We used random-effects meta-analyses to investigate the beneficial effects of regular walking and cycling. RESULTS: Walking (18 results from 14 studies) and cycling (8 results from 7 studies) were shown to reduce the risk of all-cause mortality, adjusted for other PA. For a standardised dose of 11.25 MET.hours per week (or 675 MET.minutes per week), the reduction in risk for ACM was 11% (95% CI = 4 to 17%) for walking and 10% (95% CI = 6 to 13%) for cycling. The estimates for walking are based on 280,000 participants and 2.6 million person-years and for cycling they are based on 187,000 individuals and 2.1 million person-years. The shape of the dose-response relationship was modelled through meta-analysis of pooled relative risks within three exposure intervals. The dose-response analysis showed that walking or cycling had the greatest effect on risk for ACM in the first (lowest) exposure interval. CONCLUSIONS AND IMPLICATIONS: The analysis shows that walking and cycling have population-level health benefits even after adjustment for other PA. Public health approaches would have the biggest impact if they are able to increase walking and cycling levels in the groups that have the lowest levels of these activities. REVIEW REGISTRATION: The review protocol was registered with PROSPERO (International database of prospectively registered systematic reviews in health and social care) PROSPERO 2013: CRD42013004266

Predicting language diversity with complex network

Evolution and propagation of the world's languages is a complex phenomenon, driven, to a large extent, by social interactions. Multilingual society can be seen as a system of interacting agents, where the interaction leads to a modification of the language spoken by the individuals. Two people can reach the state of full linguistic compatibility due to the positive interactions, like transfer of loanwords. But, on the other hand, if they speak entirely different languages, they will separate from each other. These simple observations make the network science the most suitable framework to describe and analyze dynamics of language change. Although many mechanisms have been explained, we lack a qualitative description of the scaling behavior for different sizes of a population. Here we address the issue of the language diversity in societies of different sizes, and we show that local interactions are crucial to capture characteristics of the empirical data. We propose a model of social interactions, extending the idea from, that explains the growth of the language diversity with the size of a population of country or society. We argue that high clustering and network disintegration are the most important characteristics of models properly describing empirical data. Furthermore, we cancel the contradiction between previous models and the Solomon Islands case. Our results demonstrate the importance of the topology of the network, and the rewiring mechanism in the process of language change

The impact of low erythrocyte density in human blood on the fitness and energetic reserves of the African malaria vector Anopheles gambiae

Background Anaemia is a common health problem in the developing world. This condition is characterized by a reduction in erythrocyte density, primarily from malnutrition and/or infectious diseases such as malaria. As red blood cells are the primary source of protein for haematophagous mosquitoes, any reduction could impede the ability of mosquito vectors to transmit malaria by influencing their fitness or that of the parasites they transmit. The aim of this study was to determine the impact of differences in the density of red blood cells in human blood on malaria vector (Anopheles gambiae sensu stricto) fitness. The hypotheses tested are that mosquito vector energetic reserves and fitness are negatively influenced by reductions in the red cell density of host human blood meals commensurate with those expected from severe anaemia. Methods Mosquitoes (An. gambiae s.s.) were offered blood meals of different packed cell volume(PCV) of human blood consistent with those arising from severe anaemia (15%) and normalPCV (50%). Associations between mosquito energetic reserves (lipid, glucose and glycogen)and fitness measures (reproduction and survival) and blood meal PCV were investigated. Results The amount of protein that malaria vectors acquired from blood feeding (indexed by haematin excretion) was significantly reduced at low blood PCV. However, mosquitoes feeding on blood of low PCV had the same oviposition rates as those feeding on blood of normal PCV, and showed an increase in egg production of around 15%. The long-term survival of An. gambiae s.s was reduced after feeding on low PCV blood, but PCV had no significant impact on the proportion of mosquitoes surviving through the minimal period required to develop and transmit malaria parasites (estimated as 14 days post-blood feeding). The impact of blood PCV on the energetic reserves of mosquitoes was relatively minor. Conclusions These results suggest that feeding on human hosts whose PCV has been depleted due to severe anaemia does not significantly reduce the fitness or transmission potential of malaria vectors, and indicates that mosquitoes may be able exploit resources for reproduction more efficiently from blood of low rather than normal PCV

Reduction of aerobic and lactic acid bacteria in dairy desludge using an integrated compressed CO2 and ultrasonic process

International audienceAbstractCurrent treatment routes are not suitable to reduce and stabilise bacterial content in some dairy process streams such as separator and bactofuge desludges which currently present a major emission problem faced by dairy producers. In this study, a novel method for the processing of desludge was developed. The new method, elevated pressure sonication (EPS), uses a combination of low frequency ultrasound (20 kHz) and elevated CO2 pressure (50 to 100 bar). Process conditions (pressure, sonicator power, processing time) were optimised for batch and continuous EPS processes to reduce viable numbers of aerobic and lactic acid bacteria in bactofuge desludge by ≥3-log fold. Coagulation of proteins present in the desludge also occurred, causing separation of solid (curd) and liquid (whey) fractions. The proposed process offers a 10-fold reduction in energy compared to high temperature short time (HTST) treatment of milk

Characterizing genomic alterations in cancer by complementary functional associations.

Systematic efforts to sequence the cancer genome have identified large numbers of mutations and copy number alterations in human cancers. However, elucidating the functional consequences of these variants, and their interactions to drive or maintain oncogenic states, remains a challenge in cancer research. We developed REVEALER, a computational method that identifies combinations of mutually exclusive genomic alterations correlated with functional phenotypes, such as the activation or gene dependency of oncogenic pathways or sensitivity to a drug treatment. We used REVEALER to uncover complementary genomic alterations associated with the transcriptional activation of β-catenin and NRF2, MEK-inhibitor sensitivity, and KRAS dependency. REVEALER successfully identified both known and new associations, demonstrating the power of combining functional profiles with extensive characterization of genomic alterations in cancer genomes